 |
|
|
Your search for "
SERIES like 'Oxford Logic Guides 38' " has
produced
43 results.
Total number of pages displayed: 5 |
| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Category Theory(Paperback)
Oxford University Press
Published:
17/06/2010
A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a cour...
|
In Stock:
3
| List Price:
|
£57.00 |
|
Our Price:
£49.88
|
|
|
|
|
|
|
|
2.
|
|
|
Sketches of an Elephant: A Topos Theory Compendium(Hardback)
Volume 1
Clarendon Press
Published:
12/09/2002
Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in...
|
In Stock:
1
| List Price:
|
£292.50 |
|
Our Price:
£255.94
|
|
|
|
|
|
|
|
3.
|
|
|
Groups of Finite Morley Rank(Hardback)
Clarendon Press
Published:
01/12/1994
BL Unique resource allowing the reader to progress from the basics right up to the research frontier BL Comprehensive coverage of this new and rapidly developing research topic This new Oxford Logi...
|
In Stock:
1
| List Price:
|
£170.00 |
|
Our Price:
£148.75
|
|
|
|
|
|
|
|
4.
|
|
|
Fragments of First-Order Logic(Hardback)
Published:
18/11/2022
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are d...
|
In Stock:
1
| List Price:
|
£120.00 |
|
Our Price:
£105.00
|
|
|
|
|
|
|
|
5.
|
|
|
Diagonalization and Self-Reference(Hardback)
Clarendon Press
Published:
01/09/1994
BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Godel's i...
|
In Stock:
None
| List Price:
|
£245.00 |
|
Our Price:
£214.38
|
|
|
|
|
|
|
|
6.
|
|
|
Arithmetic, Proof Theory, and Computational Complexity(Hardback)
Clarendon Press
Published:
06/05/1993
This book principally concerns the rapidly growing area of "Logical Complexity Theory", the study of bounded arithmetic, propositional proof systems, length of proof, etc and relations to computatio...
|
In Stock:
None
| List Price:
|
£88.00 |
|
Our Price:
£77.00
|
|
|
|
|
|
|
|
7.
|
|
|
Temporal Logic: Volume 2(Hardback)
Oxford University Press
Published:
30/03/2000
Mathematical logic is an area of interest to workers in philosophy and computer science as well as mathematics. This book, the companion to an already successful volume by the same authors, deals wi...
|
In Stock:
None
| List Price:
|
£292.50 |
|
Our Price:
£255.94
|
|
|
|
|
|
|
|
8.
|
|
|
Temporal Logic: Volume 1(Hardback)
Clarendon Press
Published:
21/07/1994
BL Indispensable reference for both the pure logician and the theoretical computer scientistThis long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of...
|
In Stock:
None
| List Price:
|
£292.50 |
|
Our Price:
£255.94
|
|
|
|
|
|
|
|
9.
|
|
|
Modal Logic(Hardback)
Clarendon Press
Published:
27/03/1997
This is a mathematically-oriented advanced textbook in modal logic, a discipline conceived in philosophy and having found applications in mathematics, artificial intelligence, linguistics, and compu...
|
In Stock:
None
| List Price:
|
£252.50 |
|
Our Price:
£220.94
|
|
|
|
|
|
|
|
10.
|
|
|
Cardinal Arithmetic(Hardback)
Clarendon Press
Published:
17/11/1994
Setting a new direction in research in the subject, this book presents a new view of cardinal arithmetic, one of the central issues in set theory. Focusing on cofinalities rather than cardinalities,...
|
In Stock:
None
| List Price:
|
£247.50 |
|
Our Price:
£216.56
|
|
|
|
|
|
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|